Relational transducer
メッセージ: メッセージは、受信マシンのRelationに挿入・削除されるレコードとして表現される 計算: 各マシンでの計算は、イベントループの各イテレーションで現在のローカルRelationに対する論理的なクエリとして指定される ローカルのRelationからReadして、クエリが計算で、必要に応じてクエリの結果をローカルのRelationにWriteする・メッセージで送り合う、という感じっぽい?kekeho.icon
参考
まだ読んでないkekeho.icon